Generalizing Overloading for C++2000
نویسنده
چکیده
This paper outlines the proposal for generalizing the overloading rules for Standard C++ that is expected to become part of the next revision of the standard. The focus is on general ideas rather than technical details (which can be found in AT&T Labs Technical Report no. 42, April 1,1998).
منابع مشابه
Transparently Parameterizing Synchronization into a Concurrent Distributed Application A Case Study of C++ Design Evolution
Many useful C++ classes have evolved incrementally by generalizing from solutions to practical problems that arise during system development. After the interface and implementation of a class have stabilized, however, this iterative process of class generalization is often de-emphasized. That is unfortunate since a major barrier to entry for newcomers to object-oriented design and C++ is (1) le...
متن کاملThe interface for functions in the dune-functions module
The dune-functions Dune module introduces a new programmer interface for discrete and non-discrete functions. Unlike the previous interfaces considered in the existing Dune modules, it is based on overloading operator(), and returning values by-value. This makes user code much more readable, and allows the incorporation of newer C++ features such as lambda expressions. Run-time polymorphism is ...
متن کاملImpredicative Overloading in Explicit Mathematics
We introduce the system OTN of explicit mathematics based on elementary separation, products, joins and weak power types. In this theory, we will define late-bound overloaded functions with a corresponding impredicative type structure à la λ&. Then we present a set-theoretic model for OTN which provides a denotational semantics for impredicative overloading without restricting itself to early-b...
متن کاملA software system for laboratory experiments in image processing
Laboratory experiments for image processing courses are usually software implementations of processing algorithms, but students of image processing come from diverse backgrounds with widely differing software experience. To avoid learning overhead, the software system should be easy to learn and use, even for those with no exposure to mathematical programming languages or object-oriented progra...
متن کاملAn E cient Backup - Overloading forFault - Tolerant Scheduling of Real - Time TasksR
Many time-critical applications require dynamic scheduling with predictable performance. Tasks corresponding to these applications have deadlines to be met despite the presence of faults. In this paper, we propose a technique called dynamic grouping, to be used with backup overloading in a primary-backup based fault-tolerant dynamic scheduling algorithm in multiprocessor real-time systems. In d...
متن کامل